Перегляд за автором "Weigert, T."

Сортувати за: Порядок: Результатів:

  • Efficient increasing of the mutation score during model-based test suite generation 
    Kolchin, A.; Potienko, S.; Weigert, T. (Проблеми програмування, 2020)
    The purpose of the method is to increase the sensitivity of an automatically generated test suite to mutations of a model. Unlike existing methods for generating test scenarios that use the mutational approach to assess ...
  • Insertion modeling in distributed system design 
    Letichevsky, A.A.; Kapitonova, J.V.; Letichevsky Jr, A.A.; Kotlyarov, V.P.; Nikitchenko, N.S.; Volkov, V.A.; Weigert, T. (2008)
    The paper describes insertion modeling methodology, its implementation and applications. Insertion modeling is a methodology of model driven distributed system design. It is based on the model of interaction of agents and ...
  • Satisfiability For Symbolic Verification in VRS 
    Letichevsky, A.; Letichevskyi, A.; Weigert, T.; Peschanenko, V. (Управляющие системы и машины, 2013)
    Рассмотрены использование логики первого порядка в символьной верификации спецификаций требований программного обеспечения, символьные модели систем, которые есть транзиционными системами с символьными состояниями ...